$\forall$$T$:Type, $R$:($T$$\rightarrow$$T$$\rightarrow$prop\{i:l\}). rel\_star($T$; $R$) $\in$ $T$$\rightarrow$$T$$\rightarrow$prop\{i:l\}